341. Experimental algorithmics :from algorithm design to robust and efficient software
پدیدآورنده : Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer algorithms,، Data structures )Computer science(,، Application software -- Development
رده :
QA
76
.
L28
Vol
.
2547
342. Experimental algorithms
پدیدآورنده : / Paola Festa (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer algorithms, Congresses
رده :
QA76
.
9
.
A43S42
2010
343. Exploring computer science with scheme
پدیدآورنده : Oliver Grillmeyer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Problems, exercises, etc.,Computer programming.,Scheme (Computer program language)
رده :
QA76
.
O458
2011
344. File systems: structures and algorithms
پدیدآورنده : Harbron, Thomas R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، File organization )Computer science(,، Data structures )Computer science(
رده :
QA
76
.
9
.
F5
H37
1988
345. File systems structures and algorithms
پدیدآورنده : Harbron, Thomas R.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، File organization )Computer science(,، Data structures )Computer science(
رده :
QA
76
.
9
.
F5H37
346. File systems: structures and algorithms
پدیدآورنده : Harbron, Thomas R.
موضوع : ، File organization )Computer science(,، Data structures )Computer science(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
347. First course in algorithms through puzzles /
پدیدآورنده : Ryuhei Uehara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
348. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
349. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
350. Foundations of data organization and algorithms : 3rd International Conference, FODO 1989, Paris, France, June 21-23, 1989 : Proceedings
پدیدآورنده : W. Litwin, H.-J. Schek )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Database management,Congresses ، Data structures )Computer science(,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
367
351. Foundations of data organization and algorithms: 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Database management,Congresses ، Data structures )Computer science(,Congresses ، Algorithms
رده :
QA
76
.
9
.
D3
.
F67
1989
352. Foundations of programming languages /
پدیدآورنده : Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
353. Foundations of software science and computation structures
پدیدآورنده : Jerzy Tiuryn (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software, Congresses.,System analysis, Congresses.
354. Full-text (substring) indexes in external memory /
پدیدآورنده : Marina Barsky, Ulrike Stege, Alex Thomo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms,Data structures (Computer science),Magnetic memory (Computers),Text processing (Computer science)
رده :
QA76
.
9
.
T48
B37
2012
355. Fun with Algorithms
پدیدآورنده : edited by Evangelos Kranakis, Danny Krizanc, Flaminia Luccio
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence,Computational complexity,Computer Communication Networks,Computer science,Computer software,Data structures (Computer science),Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Communication Networks,Computer Science,Data Structures,Discrete Mathematics in Computer Science
356. Functional Networks with Applications
پدیدآورنده : by Enrique Castillo, Angel Cobo, José Manuel Gutiérrez, Rosa Eva Pruneda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer-aided design.,Data structures (Computer science).,Physics.
357. Funtional Programming Languages in Education :
پدیدآورنده : edited by Pieter H. Hartel, Rinus Plasmeijer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Logic design.
رده :
QA76
.
62
E358
1995
358. Fuzzy logic in data modeling :
پدیدآورنده : by Guoqing Chen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science)
359. GI - 6. Jahrestagung :
پدیدآورنده : herausgegeben von Erich J. Neuhold.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.
رده :
QA76
.
H473
1976
360. Genetic Algorithms + Data Structures = Evolution Programs
پدیدآورنده : by Zbigniew Michalewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
رده :
QA76
.
9
.
A43
B993
1994
